Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings: 1486 (Lecture Notes in Computer Science)
by Hans Rischel,Anders P. Ravn
ISBN 13: 9783540650034
Format: Paperback (356 pages) Publisher: Springer Published: 02 Sep 1998
Save for later
Hybrid Systems: 736 (Lecture Notes in Computer Science)
by Anil Nerode,Hans Rischel,Robert L. Grossman,Anders P. Ravn
ISBN 13: 9783540573180
Format: Paperback (488 pages) Publisher: Springer Published: 13 Jun 2008